Search results for "formation [jet]"
showing 10 items of 6317 documents
Linear Types for Higher Order Processes with First Class Directed Channels
1995
Abstract We present a small programming language for distributed systems based on message passing processes. In contrast to similar languages, channels are one-to-one connections between a unique sender and a unique receiver process. Process definitions and channels are first class values and the topology of process systems can change dynamically. The operational semantics of the language is defined by means of graph rewriting rules. A static type system based on the notion of linear types ensures that channels are always used as one-to-one connections.
How different policy instruments affect green product innovation : A differentiated perspective
2018
Based on representative firm-level data for the three countries Austria, Germany, and Switzerland, we investigate the effects of energy-related regulations, taxes, voluntary agreements, and subsidies on the creation of green energy products, and analyze through which channels policy affects green product innovation and which factors mediate the observed effects. Policy may affect green product innovation by directly stimulating the supply of green products/services, or more indirectly by stimulating the demand for green products/services. Our data set allows us to distinguish between the two channels, which improves our understanding of the frequently observed positive net effect of policie…
Exploring the critical incident technique to encourage reflection during project-based learning
2017
Previous research has reported on the challenge of promoting students' generic reflection during authentic project-based courses. This work explores a teaching intervention based on Flanagan's Critical Incident Technique (CIT) during a project-based software development course. The intervention aims at increasing students' awareness of their own learning and at encouraging reflective practice throughout the project. Students were asked to report on 'incidents' when they experienced learning during the course, and to reflect on the task itself at the end of the course. The present study focuses on how students approached the incident reporting task and how they perceived it. The results indi…
Employer brand management: methodological aspects
2021
У статті обгрунтовано необхідність залучення зовнішніх ресурсів для управління брендом роботодавця. У роботі авторами було схематизовано процес прийняття рішення щодо обгрунтованого вибору компаній аутсорсерів. При цьому сформовано систему критеріїв здійснення такого вибору, що включає як вимоги до компанії-аутсорсера, так і вимоги до майбутнього проекту: рівень вдалих попередніх проектів; рівень задоволеності клієнтів; досвід роботи в Україні; середня вартість послуг аутсорсингової компанії з розробки проекту; термін розробки проекту; комплексність розроблених рекомендацій щодо просування бренду роботодавця; термін дії проекту; гнучкість проекту; рівень складності впровадження проекту; сер…
Modal Consequence Relations Extending S4.3: An Application of Projective Unification
2016
We characterize all finitary consequence relations over $\mathbf{S4.3}$ , both syntactically, by exhibiting so-called (admissible) passive rules that extend the given logic, and semantically, by providing suitable strongly adequate classes of algebras. This is achieved by applying an earlier result stating that a modal logic $L$ extending $\mathbf{S4}$ has projective unification if and only if $L$ contains $\mathbf{S4.3}$ . In particular, we show that these consequence relations enjoy the strong finite model property, and are finitely based. In this way, we extend the known results by Bull and Fine, from logics, to consequence relations. We also show that the lattice of consequence relation…
ITIL-viitekehyksen mukaisen ongelmanhallintaprosessin kriittiset menestystekijät : tapaustutkimus IT-palveluorganisaatiossa
2016
Tutkielman tarkoituksena on tutkia Information Technology Infrastructure Library (ITIL) -viitekehyksen mukaisen ongelmanhallintaprosessin kriittisiä menestystekijöitä. ITIL-viitekehys on laajasti käytetty kokoelma parhaita käytäntöjä IT-palvelunhallintaan, joita voidaan soveltaa kuhunkin organisaatioon sopivaksi tarpeiden mukaan. Ongelmanhallintaprosessi on yksi palvelunhallinnan prosesseista, jolla on tärkeä rooli insidenttien eli tapahtumien juurisyiden tutkinnassa. Ongelmalla tarkoitetaan yhden tai useamman tapahtuman tarkempaa juurisyytä. Ongelmanhallinnan keskeinen tehtävä on juurisyiden löytäminen ja poistaminen. Kirjallisuuskatsauksessa perehdytään ITIL-viitekehykseen ja ongelmanhall…
Lifestyle and Empowerment Techniques in Survivorship of Gynaecologic Oncology (LETSGO study): A study protocol for a multicentre longitudinal interve…
2021
IntroductionThe number of gynaecological cancer survivors is increasing and there is a need for a more sustainable model of follow-up care. Today’s follow-up model is time-consuming and patients have reported unmet needs regarding information about their cancer and strategies for managing the consequences of treatment. The main aim of this study is to assess health-related empowerment—in terms of patient education, psychosocial support, and promotion of physical activity—in a new follow-up model by comparing it to standard follow-up in a quasi-randomised study involving intervention hospitals and control hospitals.Methods and analysisAt the intervention hospitals, patients will be stratifie…
Proton shape fluctuation and its relation to DIS
2018
We review the recent progress in extracting the proton fluctuating substructure by studying exclusive processes at HERA, and the applications of these developments in the interpretation of the LHC heavy ion data. The possibilities to extract the proton geometry directly from the LHC high-multiplicity proton-nucleus and proton-proton collision data is also discussed. peerReviewed
Scheduling under the network of temporo-spatial proximity relationships
2017
We discuss and introduce to the schedulingeld a novel, qualitative optimization model - scheduling under the network of temporo-spatial proximity relationships.We introduce a half perimeter proximity measure as an objective of scheduling.We present and evaluate an incremental Sequence Pair neighborhood evaluation algorithm, applicable to both scheduling and rectangle packing problems in VLSI industry. In this paper, we discuss and introduce to the scheduling field a novel optimization objective - half perimeter proximity measure in scheduling under the network of temporo-spatial proximity relationships. The presented approach enables to qualitatively express various reasons of scheduling ce…